Failed to solve the following constraints:
  Agda.Primitive.Setω =< _4 (blocked on _4)
Unsolved metas at the following locations:
  Issue2285-record.agda:4,8-11
